ar X iv : 0 80 9 . 11 28 v 1 [ m at h . A C ] 6 S ep 2 00 8 ON THE GENERALISED RITT PROBLEM AS A COMPUTATIONAL PROBLEM
نویسنده
چکیده
The Ritt problem asks if there is an algorithm that tells whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In particular, we show that it is equivalent to testing if a differential polynomial is a zero divisor modulo a radical differential ideal. The technique used in the proof of equivalence yields algorithms for computing a canonical decomposition of a radical differential ideal into prime components and a canonical generating set of a radical differential ideal. Both proposed representations of a radical differential ideal are independent of the given set of generators and can be made independent of the ranking.
منابع مشابه
ar X iv : 0 80 9 . 09 62 v 1 [ m at h - ph ] 5 S ep 2 00 8 September 2008 On NP complete problems I
We study the quadratic residue problem known as an NP complete problem by way of the prime number and show that a nondeterministic polynomial process does not belong to the class P because of a random distribution of solutions for the quadratic residue problem.
متن کاملar X iv : 0 80 3 . 28 39 v 1 [ m at h . ST ] 1 9 M ar 2 00 8 AGGREGATION BY EXPONENTIAL WEIGHTING , SHARP ORACLE INEQUALITIES AND SPARSITY
We study the problem of aggregation under the squared loss in the model of regression with deterministic design. We obtain sharp PAC-Bayesian risk bounds for aggregates defined via exponential weights, under general assumptions on the distribution of errors and on the functions to aggregate. We then apply these results to derive sparsity oracle inequalities.
متن کاملar X iv : 0 80 9 . 01 74 v 1 [ m at h - ph ] 1 S ep 2 00 8 Heisenberg relations in the general case
The Heisenberg relations are derived in a quite general setting when the field transformations are induced by three representations of a given group. They are considered also in the fibre bundle approach. The results are illustrated in a case of transformations induced by the Poincaré group.
متن کامل